Merge branch 'kill-display-changed' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 2 May 2019 01:49:31 +0000 (01:49 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 2 May 2019 01:49:31 +0000 (01:49 +0000)
Kill display changed

See merge request GNOME/gtk!807


Trivial merge